Skip to content

sync dev and main#84

Draft
andybeet wants to merge 13 commits into
mainfrom
dev
Draft

sync dev and main#84
andybeet wants to merge 13 commits into
mainfrom
dev

Conversation

@andybeet

@andybeet andybeet commented Jul 15, 2026

Copy link
Copy Markdown
Member

PRs into dev contained all necessary info. They have already been approved.
Please provide the information below so main can be synced with dev:

List PRs

List the PRs that were merged into dev that will be pulled into main and any issues they fix:

Types of changes

What types of changes does this pull request introduce? Put an x in the boxes that apply.
This will inform the new release number.

  • Fix (non-breaking change which fixes a bug)
  • Feature (non-breaking change which adds or changes functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Other change (if none of the other choices apply)

Reviewer instructions

The underlying PRs should have been reviewed. Please check that the proposed merge is correct before approving.
If any checkboxes other than "Other change" have been selected please prepare the following file changes for a new release version:

  • NEWS.md - add release notes
  • DESCRIPTION - increment the version number according to Semantic Versioning

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remove deprecated data sets

1 participant